1. Handbook of Philosophical Logic
پدیدآورنده : edited by D.M. Gabbay, F. Guenthner.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic.,Philosophy (General)
2. Handbook of philosophical logic
پدیدآورنده : / edited by D.M. Gabbay and F. Guenthner
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Logic.
رده :
BC6
,.
H36
,
2001
3. Handbook of philosophical logic.
پدیدآورنده : edited by D.M. Gabbay and F. Guenthner.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Handbooks, manuals, etc.,Droit.,Logic.,Logica.,Logica.,Logik,PHILOSOPHY, Logic.,Sciences humaines.,Sciences sociales.
رده :
BC1
.
H36
v
.
15
4. Handbook of philosophical logic
پدیدآورنده : / Edited by d. m. gabbay, f. guenthner
موضوع :
۲ نسخه از این کتاب در ۱ کتابخانه موجود است.
5. Handbook of temporal reasoning in artificial intelligence
پدیدآورنده : edited by M. Fisher, D. Gabbay, L. Vila
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Temporal databases,، Artificial intelligence,، Reasoning
رده :
QA
76
.
9
.
D3
H347
2005
6. Handbook of temporal reasoning in artificial intelligence
پدیدآورنده : / edited by M. Fisher, D. Gabbay, L. Vila
کتابخانه: مكتبات الكلية التقنية بجامعة طهران (طهران)
موضوع : Temporal databases,Artificial intelligence,Reasoning
رده :
QA
76
.
9
.
D3H34733
2005
R
7. Labelled Deduction
پدیدآورنده : edited by David Basin, Marcello D'Agostino, Dov M. Gabbay, Seán Matthews, Luca Viganò.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Logic.,Philosophy (General)
8. What is a logical system?
پدیدآورنده : edited by D.M. Gabbay
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Logic, Symbolic and mathematical,، Computer science
رده :
QA
9
.
2
.
W48
1994
